#undef __WORDSIZE
#define __WORDSIZE 64 
/* FIXME */
